Proof calculus - PDFSEARCH.IO - Document Search Engine

Proof calculus
Results: 476

#	Item
401	An Introduction to Proof Complexity, Part I. Pavel Pudl´ak Add to Reading List Source URL: www.math.uni-heidelberg.de Language: English - Date: 2009-07-30 07:35:13 Computational complexity theory Propositional calculus Logic in computer science Boolean algebra Circuit complexity Tautology Switching lemma Logical connective Proof complexity Theoretical computer science Mathematics Logic
402	An Introduction to Proof Complexity, Part II. Pavel Pudl´ak Add to Reading List Source URL: www.math.uni-heidelberg.de Language: English - Date: 2009-07-30 07:35:14 Logic in computer science Propositional calculus Mathematical logic Automated theorem proving Computational complexity theory Frege system Proof complexity Propositional proof system Tautology Theoretical computer science Mathematics Logic
403	A constructive semantics for ALC Loris Bozzato1 , Mauro Ferrari1 , Camillo Fiorentini2 , Guido Fiorino3 1 DICOM, Univ. degli Studi dell’Insubria, Via Mazzini 5, 21100, Varese, Italy DSI, Univ. degli Studi di Milano, Vi Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Proof theory Deduction Propositional calculus Natural deduction Curry–Howard correspondence Entailment Valuation Lambda calculus Orbifold Logic Mathematics Abstract algebra
404	Purity through Unravelling Robert Hein and Charles Stewart Technische Universit¨ Add to Reading List Source URL: bitschnitzer.de Language: English - Date: 2006-02-22 15:53:09 Mathematics Kripke semantics Natural deduction Modal logic Propositional calculus Sequent calculus First-order logic Structural proof theory Proof calculus Logic Mathematical logic Proof theory
405	Proof Systems for Retracts in Simply Typed Lambda Calculus Colin Stirling Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-04-29 09:46:20 Symbol Orbifold
406	A Compositional Proof System for the Modal -Calculus Henrik Reif Andersen Colin Stirling Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 10:07:50 Mathematics Operator theory Vehicle Identification Number Product rule Mathematical analysis
407	A Compositional Proof System for the Modal -Calculus Henrik Reif Anderseny Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 10:07:32 Modal logic Philosophical logic Model theory Logic in computer science Dynamic logic Kripke semantics Calculus Process calculus Interpretation Logic Mathematical logic Mathematics
408	DENSITY PROPERTIES FOR FRACTIONAL SOBOLEV SPACES ALESSIO FISCELLA, RAFFAELLA SERVADEI, AND ENRICO VALDINOCI Abstract. Aim of this paper is to give the details of the proof of some density properties of smooth and compact Add to Reading List Source URL: rene.ma.utexas.edu Language: English - Date: 2014-05-12 04:55:17 Fourier analysis Inequalities Measure theory Sobolev inequality Support Harmonic function Calculus of variations Differential equation Continuous function Mathematical analysis Mathematics Sobolev spaces
409	SMT[removed]Calculus Test February 2, 2013 Add to Reading List Source URL: sumo.stanford.edu Language: English - Date: 2014-05-28 23:53:37 Trigonometry Differential calculus Integral calculus Derivative Sine Differential equation Proof that π is irrational Euler–Maclaurin formula Mathematical analysis Mathematics Calculus